$\forall$$k$:$\mathbb{N}$, $f$:(int\_seg(0; $k$)$\rightarrow\mathbb{Z}$). increasing($f$; $k$) $\in$ prop\{i:l\}